|
|
|
Magma Announces Formal Verification Product Quartz Formal, Based on IBM Technology
New product using IBM's Boolean logic equivalence checking joins
QuickCap in suite of IC signoff software
SANTA CLARA, Calif.—(BUSINESS WIRE)—April 22, 2004—
Magma Design Automation Inc. (Nasdaq:LAVA), a provider of chip
design solutions, today announced Quartz(TM) Formal, a new formal
verification product based on Boolean equivalence technology licensed
from IBM. Quartz Formal joins QuickCap in Magma's suite of software
products for signoff in integrated circuit (IC) design.
"This logic equivalence checking technology is truly battle
tested," said Rajeev Madhavan, Magma chairman and chief executive
officer. "It is based on technology that has been proven on some of
the most demanding custom and standard IC designs IBM has produced.
Quartz Formal is a complete equivalence checking environment that
encompasses the design implementation spectrum from RTL to gates and
transistors. With this transaction we will be providing our customers
with formal verification technology that supports RTL-to-gate
equivalence checking, gate-to-gate equivalence checking and unique
transistor-to-gate equivalence checking. And they will also enjoy an
advantage in speed: with this technology our own quality assurance
process has sped up by a factor of 6 to 20. That's part of the reason
we wanted to license this technology."
IBM has been developing and using this logic equivalence checking
technology that Magma licensed for over 8 years. It has been used to
support designs with greater than 270 million transistors, including
IBM POWER4 and POWER5 microprocessors, as well as multiple ASIC
designs.
"The Quartz Formal product is about 10 times faster than any
formal verification product we've used before," said Moazzem Hossain,
president and CEO of Fastrack Design. "This technology has helped us
identify a couple of subtle problems in the designs that were
considered clean by another leading verification tool. Combining this
verification technology with Magma's IC design flow will provide both
assurance of highest quality and faster turnaround time."
Magma's Suite of Signoff Software
The addition of Quartz Formal to Magma's line of products expands
the company's product offerings for IC design signoff. In 2003 Magma
acquired QuickCap(R), a product extensively relied upon by all
industry-leading extraction tools as the "gold standard" for accuracy,
and QuickInd(TM), which extracts inductance characteristics of
interconnects from 3D physical structures. With Quartz Formal, the
portfolio of signoff software adds yet another standard-setting
product.
About Magma Design Automation
Magma provides leading software for designing highly complex
integrated circuits while maximizing Quality of Results with respect
to area, timing and power, and at the same time reducing overall
design cycles and costs. Magma provides a complete RTL-to-GDSII design
flow that includes prototyping, synthesis, place & route, and signal
and power integrity chip design capabilities in a single executable,
offering "The Fastest Path from RTL to Silicon"(TM). Magma's software
also includes products for advanced physical synthesis and
architecture development tools for programmable logic devices (PLDs);
capacitance extraction; and characterization and modeling. The
company's stock trades on Nasdaq under the ticker symbol LAVA. Visit
Magma Design Automation on the Web at www.magma-da.com.
Magma and QuickCap are registered trademarks, and Quartz, QuickInd
and "The Fastest Path from RTL to Silicon" are trademarks, of Magma
Design Automation Inc. IBM, POWER4 and POWER5 are trademarks or
registered trademarks of IBM Corporation in the United States and/or
other countries. All other product and company names are trademarks
and registered trademarks of their respective companies.
FORWARD-LOOKING STATEMENTS:
This press release contains "forward-looking statements" within
the meaning of the "safe harbor" provision of the Private Securities
Litigation Reform Act of 1995. For example, statements about the
features and benefits of the products are forward-looking statements.
These and other forward-looking statements are subject to risks and
uncertainties that could cause actual results to differ materially
from Magma's current expectations. Factors that could cause or
contribute to such differences include, but are not limited to, risks
that: the integration of the acquired software into Magma's operations
may take longer or be less effective than we anticipate; development
of new products may not proceed as planned or there may be
difficulties integrating acquired and licensed technology; the
introduction of new products or services by competitors could delay or
reduce sales; the high degree of competition in our industry could
intensify further and increase pricing pressure; sales of our products
and services could be lower than expected as a result of weakness in
the semiconductor or electronic systems industries, economic recession
or terrorism; and we may encounter unexpected difficulties in managing
our expanding operations. These and other risks are described from
time to time in Magma's Securities and Exchange Commission reports
(including but not limited to Magma's annual report on Form 10-K for
the fiscal year ended March 31, 2003, Magma's quarterly report on Form
10-Q for the quarter ended December 31, 2003, and in subsequently
filed reports), which are available at www.sec.gov. Magma undertakes
no obligation to update these forward-looking or other statements in
this release.
Contact:
Magma Design Automation Inc.
Monica Marmie, 408-565-7689
monical@magma-da.com
|
|
|
